Modal logic - PDFSEARCH.IO - Document Search Engine

Modal logic
Results: 1643

#	Item
101	ˆ 00:–38 NOUS doi: nousDr. Truthlove or: How I Learned to Stop Worrying and Love Bayesian Probabilities* Add to Reading List Source URL: dl.dropboxusercontent.com Language: English Belief Epistemology Modal logic Propositional attitudes Doxastic logic Proposition Doxastic attitudes Mental state Credence Coherence theory of truth Theory of justification Doxastic voluntarism
102	Proving Autonomous Vehicle and Advanced Driver Assistance Systems Safety Add to Reading List Source URL: utc.ices.cmu.edu Language: English - Date: 2016-05-26 15:13:50 Formal systems Proof theory Logic in computer science Formal methods Theoretical computer science KeY Automated theorem proving Mathematical proof Formal verification Mathematical logic Modal logic Dynamic logic
103	Piotr KAŹMIERCZAK  +   http://piotrkazmierczak.com Munich, Germany Add to Reading List Source URL: piotrkazmierczak.com Language: English - Date: 2016-06-05 18:07:41 Non-classical logic Modal logic Modality Philosophical logic Logic Mathematical logic Haskell Proof theory Python
104	February 2, 2010 Modal Logic for Open Minds Johan van Benthem February 2, 2010 Add to Reading List Source URL: fenrong.net Language: English - Date: 2011-05-22 04:15:47
105	Replace this file with prentcsmacro.sty for your meeting, or with entcsmacro.sty for your meeting. Both can be found at the ENTCS Macro Home Page. A Modal Sequent Calculus for Propositional Separation Logic Add to Reading List Source URL: www.mpi-sws.org Language: English - Date: 2008-04-25 20:44:09
106	Motivation Non-classical logics – such as modal logics, conditional logics, intuitionistic logic, description logics, temporal logics, linear logic, dynamic logic, fuzzy logic, paraconsistent logic, relevance logic – Add to Reading List Source URL: iltp.de Language: English - Date: 2016-04-26 07:46:57
107	Ubicomp’s Colonial Impulse Paul Dourish1 and Scott D. Mainwaring2 1 2 Add to Reading List Source URL: www.dourish.com Language: English - Date: 2012-07-30 16:38:27 Ubiquitous computing Paul Dourish Governmentality Technology Modal logic Activity recognition Humancomputer interaction Science
108	Intuitionistic Modal Logic: 15 Years Later... Valeria de Paiva Nuance Communications Berkeley March 2015 Add to Reading List Source URL: logic.berkeley.edu. Language: English - Date: 2015-03-07 22:58:09
109	Introduction to Modal and Temporal Logic c Rajeev Gore´ Automated Reasoning Group Computer Sciences Laboratory Australian National University Add to Reading List Source URL: ssll.rsise.anu.edu.au Language: English - Date: 2009-01-19 22:48:26
110	First Joint Meeting Brazil Italy of Mathematics Special Session: Mathematical Logic Rio de Janeiro, August 29 - September 02, 2016 Title: Modal and set theoretical tools for the study of the multiverse Authors: Giorgio V Add to Reading List Source URL: www.sbm.org.br Language: English - Date: 2016-03-03 13:50:24

UPDATE